- general axiom
- общая аксиома
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
general axiom
Смотреть что такое "general axiom" в других словарях:
Axiom — Fichier:Axiom sur les Champs Elysées.jpg Axiom sur les Champs Elysées à Paris Nom Hicham Kochman Naissance 19 janvier 1975 (1975 01 19) (36 ans) Lil … Wikipédia en Français
General set theory — (GST) is George Boolos s (1998) name for a three axiom fragment of the canonical axiomatic set theory Z. GST is sufficient for all mathematics not requiring infinite sets, and is the weakest known set theory whose theorems include the Peano… … Wikipedia
Axiom Engine — Тип 3D графический движок Написана на C# Аппаратная платформа кроссплатформенный Версия 0.8.0 alpha (crickhollow) (2008 02 08) Лицензия … Википедия
General Game Playing — refers to the design of Artificial Intelligence programs to be able to play more than one game successfully. [ [http://games.stanford.edu/competition/misc/aaai.pdf General Game Playing: Overview of the AAAI Competition] by Michael Genesereth and… … Wikipedia
Axiom — Ax i*om, n. [L. axioma, Gr. ? that which is thought worthy, that which is assumed, a basis of demonstration, a principle, fr. ? to think worthy, fr. ? worthy, weighing as much as; cf. ? to lead, drive, also to weigh so much: cf F. axiome. See… … The Collaborative International Dictionary of English
Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia
axiom of choice — Math. the axiom of set theory that given any collection of disjoint sets, a set can be so constructed that it contains one element from each of the given sets. Also called Zermelo s axiom; esp. Brit., multiplicative axiom. * * * ▪ set theory… … Universalium
Axiom (computer algebra system) — Scratchpad redirects here. For scratchpad memory, see Scratchpad RAM. Axiom Developer(s) independent group of people Stable release September 2011 Operating system cross platform … Wikipedia
Axiom schema of replacement — In set theory, the axiom schema of replacement is a schema of axioms in Zermelo Fraenkel set theory (ZFC) that asserts that the image of any set under any definable mapping is also a set. It is necessary for the construction of certain infinite… … Wikipedia
Axiom of regularity — In mathematics, the axiom of regularity (also known as the axiom of foundation) is one of the axioms of Zermelo Fraenkel set theory and was introduced by harvtxt|von Neumann|1925. In first order logic the axiom reads::forall A (exists B (B in A)… … Wikipedia
